verification technique造句
例句与造句
- study of the on-line signature verification techniques based on multiplex features
基于混合特征的在线签名认证研究 - model checking is one of the formal verification techniques to verify the correctness of system, and it is also one of the most successful automatic verification techniques in recent 20 years
模型检测是近二十几年来最成功的自动检验技术之一,它是关于系统属性验证的算法和方法。 - model checking is one of the formal verification techniques to verify the correctness of system, and it is also one of the most successful automatic verification techniques in recent 20 years
模型检测是近二十几年来最成功的自动检验技术之一,它是关于系统属性验证的算法和方法。 - this article will outline translation verification techniques and classic errors, and will provide a tool that you can download to help your translation testers work more efficiently and effectively
本文将概述翻译验证技术和经典错误，并提供了一个工具，您可以下载它来帮助您的翻译测试员更有效率、更有成效地工作。 - model-checking is one of the most successful automatic verification techniques in the past two decades . it has been used in the analysis and verification of finite-state systems such as sequential circuit designs and communication protocols
模型检测技术是近二十年来最成功的自动验证技术之一，目前被广泛的应用于有穷状态系统(包括电路设计和通讯协议等)的分析与验证。 - It's difficult to find verification technique in a sentence. 用verification technique造句挺难的
- a verification technique, which obtains unbiased estimator for the means and variance of several global and local features is presented and a matching way after acquiring the threshold by probability density function is achieved
摘要论述了在获得在线手写签名的曲线的一些局部和全局特征的平均值和方差的无偏估计的基础上，通过概率密度函数进而获取阈值进行匹配的鉴别方法。 - the method of model checking is a formal verification technique using the method of state-space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas, while the system presented as a kripke structure
它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性。它是一个自动检验有限状态并发系统的技术。 - on the other side, based on research on noncircular surface grinding features, this deissertation designs the data structure of simulation driver, then, applies interpolation theory to design the grinding motion simulation module and researches all sorts of cases on constructing the solid swept of grinding wheels in the process of noncircular surfaces grinding, finally, designs nc codes verification simulation module by using design model-based verification technique
在实体仿真技术方面,详细研究了非圆曲面磨削加工的特征并设计了对应的仿真驱动数据结构;应用插补原理设计了体现加工速度的运动过程仿真模块;详细研究了非圆曲面磨削加工中砂轮的相对和绝对运动扫掠实体的构造,并采用基于精确实体设计模型的验证方法构建了数控代码的仿真验证模块。 - as vlsi design becomes larger and takes up much longer time, verification and debugging of logic design become the dominating part of total design period . in order to reduce the time for obtaining a valid design, many verification techniques have been studied . fpga is relatively useful in such case due to its rapid implementation
随着现代vlsi设计规模迅速扩大、芯片的设计和实现周期变长，验证和调试在asic设计中占有越来越重要的地位，相应的在整个asic设计流程中，验证和调试将占用更多的时间。